strongly axiomatizable theory
[数] 强可公理化理论
热门查询
- neon n. 霓虹灯；氖（10号元素，符号Ne） n. (Neon)人名；(德)内翁；(俄)涅翁
- Jodrell [人名] 乔德雷尔
- reverential adj. 虔诚的；表示尊敬的；可尊敬的
- fiduciary n. 受托人；被信托者 adj. 信托的；受信托的；基于信用的
- idb abbr. illicit diamond buying <南非>违法购买金刚石; intercept during burning 在烧期间截取, 截断燃烧
- bandmaster n. 乐队指挥；军乐队或管乐队首度
- odalisque n. 宫女；女奴隶
- tingling n. 麻刺感；发出叮当声 v. 刺痛；激动；鸣响（tingle的ing形式）
- impeach n. 控告，检举；弹劾；怀疑 vt. 弹劾；归咎；怀疑
- covet vt. 垂涎；觊觎 vi. 垂涎；觊觎
- tommy n. 实物工资制；定位销钉 n. (Tommy)人名；(英、瑞典、法)汤米
- Hoffmann [人名] 霍夫曼
- forgo vi. 放弃；停止；对…断念 vt. 放弃；停止；对…断念 [ 过去式forwent 过去分词forgone 现在分词forgoing ]
- vulgarity n. 粗俗；粗俗语；粗野的动作
- condensate n. 冷凝物；浓缩物 adj. 浓缩的
- korma 奶油（或酸奶）浸肉（常加有杏仁的南亚咖哩菜肴或调味汁）
- xylophone n. 木琴
- Spielberg n. 斯皮尔伯格（美国著名导演）
- get on na. 上马；安上；过日子；相投 (with together) [网络] 上车；进展；相处
- funky adj. 时髦的；畏缩的；恶臭的
